1006. Predicate transformer semantics

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Programming languages )Electronic computers(-- Semantics,، Computer science-- Mathematics

رده :
QA
76
.
7
.
M342
1992

1008. Principles of computer science

پدیدآورنده:

کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)

موضوع: Computer science - Mathematics,Electronic digital computers - programming

رده :
QA
76
.
9
.
M35S3
1988

1010. Problem complexity and method efficiency in optimization

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)

موضوع: Programming (Mathematics)

رده :
402
.
5
.
N454

1012. Proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: Congresses ، Programming )Mathematics(

رده :
QA
264
.
P7
1967